Model category - PDFSEARCH.IO - Document Search Engine

Model category
Results: 346

#	Item
281	Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-01 20:46:15 Mathematical logic Propositional calculus Model theory Algebraic geometry Logical truth Tautology Pushout Epimorphism Category Logic Mathematics Abstract algebra
282	History A folk model structure on omega-cat Homology of rewriting (Anick/Squier 1987) Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2008-07-07 14:53:18 Adjoint functors Universal property Category theory Model category Pushout
283	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´ e Paris Diderot, and INRIA, France Add to Reading List Source URL: ncatlab.org Language: English Metalogic Category theory Deduction Structure Universal algebra Model theory Symbol Entailment Monoid Abstract algebra Mathematics Logic
284	Voevodsky’s Univalence Axiom in Homotopy Type Theory Steve Awodey, Álvaro Pelayo, and Michael A. Warren T Add to Reading List Source URL: www.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
285	Category 1 Teaching & Learning Activities 1.1 DESE Evaluation Educate staff on the new evaluation system and implement the new model. This will support growth and high expectations for student learning and teacher Add to Reading List Source URL: highrock.needham.k12.ma.us Language: English - Date: 2013-07-18 12:29:21 Educational psychology WestEd No Child Left Behind Act Education STAR Education policy
286	Further thoughts on pointfree versus classical function rings Bernhard Banaschewski This talk will describe a substantially revised version of the proof, presented here last October, that the pointfree function rings RL Add to Reading List Source URL: www.mth.uct.ac.za Language: English - Date: 2014-04-04 11:01:20 General topology Category theory Model theory Adjoint functors Higher category theory Semilattice Closure Mathematical logic Compact space Topology Mathematics Abstract algebra
287	Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.1–12 EXACT SEQUENCES OF FIBRATIONS OF CROSSED COMPLEXES, HOMOTOPY CLASSIFICATION OF MAPS, AND NONABELIAN EXTENSIONS OF GROUPS Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-06-25 03:44:35 Algebraic topology Category theory Homology theory Crossed module Groupoid Homotopy group Model category Weak equivalence Homotopy lifting property Topology Homotopy theory Abstract algebra
288	a Preprintreihe SFB 478 – Geometrische Strukturen in der Mathematik A∞ -monads and completion Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-07-14 07:56:48 Mathematics Representable functor Adjoint functors Monad Operad theory Functor Nerve Model category Natural transformation Category theory Abstract algebra Algebra
289	Microsoft Word - bibl06.dot Add to Reading List Source URL: volcanoes.usgs.gov Language: English - Date: 2008-08-28 12:41:16 Stratovolcanoes Volcanism IUCN Category III Mount Shishaldin Volcanic hazards Ukinrek Maars Puff model Geology Volcanology Aleutian Range
290	Model BCF SSCT® Shrouded Split Current Transformer® Energy Monitoring (UL XOBA an XOBA/7) Measurement Category III for Service Entrance Application installations   Add to Reading List Source URL: www.sentrancorp.com Language: English - Date: 2014-01-28 15:42:34 Electric power Transformer Current transformer Alternating current High voltage Electromagnetism Electrical engineering Transformers

UPDATE